proof of orbit stabilizer theorem